It is commonly argued that the fact that our universe is fine-tuned for life favors both a design hypothesis as well as a non-teleological multiverse hypothesis. The claim that the fine-tuning of this universe supports a non-teleological multiverse hypothesis has been forcefully challenged however by Ian Hacking and Roger White. In this paper we take this challenge even further by arguing that if it succeeds, then not only does the fine-tuning of this universe fail to support a multiverse hypothesis, (...) but it tends to favor a single-universe hypothesis instead. (shrink)

Book synopsis This book is devoted to the condition of the university under the pressures of globalization, with particular reference to Central Europe. It is intended as a companion volume for all those who combine their academic and disciplinary research with wider interests in the functioning of higher education institutions under the new pressures affecting Central Europe. Drawing on its interdisciplinary nature and the wide range of scholars involved, it intends to outline a useful map of new, often challenging, areas, (...) topics and concerns to be taken into account in rethinking the function of the university today. -/- Contents Contents: Philip G. Altbach: Academic Freedom: International Realities and Challenges - Richard Rorty: Does Academic Freedom Have Philosophical Presuppositions? - Stanley N. Katz: Can Liberal Education Cope? - Marek Kwiek: The State, the Market, and Higher Education. Challenges for the New Century - Roger Deacon/Ben Parker: The Schooling of Citizens, or the Civilizing of Society? - Tadeusz Buksinski: The University and Learning in a Situation of Depression - Martin Jay: The Menace of Consilience: Keeping the Disciplines Unreconciled - Voldemar Tomusk: Towards a Model of Higher Education Reform in Central and East Europe - Wolf Lepenies: Im Osten viel Neues. Wissenschafts- und Kulturpolitik für Europa - Zbigniew Drozdowicz: Academic Accreditation: a Polish Case Study - Marek Kwiek: The Nation-State, Globalization and the Modern Institution of the University. (shrink)

Abstract— Malware behavior was and still is a key solution, for top security appliances, to monitor algorithmic approaches when performing regular security tasks; scan, detection, cleaning and removal. And even for early actions; when building a security framework and securing all possible access points to all data sources. The first suspect in such scenario is the inner residents; appliances and system functions. Numerous are available at each operating system, and thus, the security is raised and set up frequently with all (...) nowadays, yet, still we are able to identify black wholes and back doors, even with the high security approaches applied at different levels and layers. In this research we are presenting an inevitable security thread, we face frequently in different scenarios, that are the key definition for successful security trespass, which we secure with an ameliorated security shell skeleton. Though the sysinternals are doing sufficient services to help administrators accomplish security tasks; automating administration within large scale environments. (shrink)

A speculative exploration of the distinction between a relational formal ontology and a classical formal ontology for modelling phenomena in nature that exhibit relationally-mediated wholism, such as phenomena from quantum physics and biosemiotics. Whereas a classical formal ontology is based on mathematical objects and classes, a relational formal ontology is based on mathematical signs and categories. A relational formal ontology involves nodal networks (systems of constrained iterative processes) that are dynamically sustained through signalling. The nodal networks are hierarchically ordered and (...) exhibit characteristics of deep learning. (shrink)

This is a three-part exchange on the relationship between belief and credence. It begins with an opening essay by Roger Clarke that argues for the claim that the notion of credence generalizes the notion of belief. Julia Staffel argues in her reply that we need to distinguish between mental states and models representing them, and that this helps us explain what it could mean that belief is a special case of credence. Roger Clarke's final essay reflects on the (...) compatibility of the previously discussed views with dualist and monist interpretations of our mental states and our ways of modeling them. (shrink)

The burden of research ethics review falls not just on researchers, but on those who serve on research ethics committees (RECs). With the advent of automated text analysis and generative artificial intelligence, it has recently become possible to teach models to support human judgment, for example by highlighting relevant parts of a text and suggesting actionable precedents and explanations. It is time to consider how such tools might be used to support ethics review and oversight. This commentary argues that with (...) a suitable strategy of engagement, artificial intelligence can be used in a variety of ways that can genuinely support RECs and manage their workload and improve the quality of review. It would be wiser to take an active role in the development of AI tools for ethics review, rather than to adopt ad hoc tools after the fact. (shrink)

The article presents a pluralistic model of value change, emphasizing the interplay between technology and societal values. It critiques the Simple Change Model, which suggests a uniform transition from one dominant value scheme to another, arguing instead for emergent and differential value change. Emergent value change occurs when new values arise within specific contexts without displacing existing ones, often influenced by generational experiences with technology and niches where new technologies are introduced. Differential value change highlights how distinct groups may adopt (...) different value schemes based on their unique contexts and experiences, sometimes leading to societal polarization and the need to reconcile incompatible value schemes. The article stresses the importance of individual experiences of ethical uncertainty and disruption in understanding these changes. By integrating these complexities, the model offers a rich, non-deterministic framework for analyzing how values evolve in response to technological advancements. (shrink)

Both Philip and Andrew are philosophy students whose interests converge around the philosophy of technology broadly understood. Philip's interest is specifically aimed toward the ethics of Transhumanism and depictions of Transhumanism in works of fiction. On the other hand, Andrew finds himself more focused on religious behavior in the technological world. While the two perspectives might not seem that close, there is certain to be an overlap in Andrew and Philip's shared understanding of how technological phenomena play (...) a crucial role concerning religion and society. (shrink)

I show that Wittgenstein's critique of G.H. Hardy's mathematical realism naturally extends to Paul Benacerraf's influential paper, ‘Mathematical Truth’. Wittgenstein accuses Hardy of hastily analogizing mathematical and empirical propositions, thus leading to a picture of mathematical reality that is somehow akin to empirical reality despite the many puzzles this creates. Since Benacerraf relies on that very same analogy to raise problems about mathematical ‘truth’ and the alleged ‘reality’ to which it corresponds, his major argument falls prey to the same critique. (...) The problematic pictures of mathematical reality suggested by Hardy and Benacerraf can be avoided, according to Wittgenstein, by disrupting the analogy that gives rise to them. I show why Tarskian updates to our conception of ‘truth’ discussed by Benacerraf do not answer Wittgenstein's concerns. That is, because they merely presuppose what Wittgenstein puts into question, namely, the essential uniformity of ‘truth’ and ‘proposition’ in ordinary discourse. (shrink)

Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have increasingly turned to model-independent strategies as tools in searching for a wide range of possible BSM effects. In this paper, we describe the Standard Model Effective Field Theory (SM-EFT) and analyse it in the context of the philosophical discussions about models, theories, and (bottom-up) (...) effective field theories. We find that while the SM-EFT is a quantum field theory, assisting experimentalists in searching for deviations from the SM, in its general form it lacks some of the characteristic features of models. Those features only come into play if put in by hand or prompted by empirical evidence for deviations. Employing different philosophical approaches to models, we argue that the case study suggests not to take a view on models that is overly permissive because it blurs the lines between the different stages of the SM-EFT research strategies and glosses over particle physicists' motivations for undertaking this bottom-up approach in the first place. Looking at EFTs from the perspective of modelling does not require taking a stance on some specific brand of realism or taking sides in the debate between reduction and emergence into which EFTs have recently been embedded. (shrink)

The appeal to mechanisms in scientific explanation is commonplace in contemporary philosophy of science. In short, mechanists argue that an explanation of a phenomenon consists of citing the mechanism that brings the phenomenon about. In this paper, we present an argument that challenges the universality of mechanistic explanation: in explanations of the contemporary features of the eukaryotic cell, biologists appeal to its symbiogenetic origin and therefore the notion of symbiogenesis plays the main explanatory role. We defend the notion that symbiogenesis (...) is non-mechanistic in nature and that any attempt to explain some of the contemporary features of the eukaryotic cell mechanistically turns out to be at least insufficient and sometimes fails to address the question that is asked. Finally, we suggest that symbiogenesis is better understood as a pragmatic scientific law and present an alternative non-mechanistic model of scientific explanation. In the model we present, the use of scientific laws is supposed to be a minimal requirement of all scientific explanations, since the purpose of a scientific explanation is to make phenomena expectable. Therefore, this model would help to understand biologists’ appeal to the notion of symbiosis and thus is shown to be better, for the case under examination, than the mechanistic alternative. (shrink)

Strong claims have been made for emergence as a new paradigm for understanding science, consciousness, and religion. Tracing the past history and current definitions of the concept, Clayton assesses the case for emergent phenomena in the natural world and their significance for philosophy and theology. Complex emergent phenomena require irreducible levels of explanation in physics, chemistry and biology. This pattern of emergence suggests a new approach to the problem of consciousness, which is neither reducible to brain states nor proof of (...) a mental substance or soul. Although emergence does not entail classical theism, it is compatible with a variety of religious positions. Clayton concludes with a defence of emergentist panentheism and a Christian constructive theology consistent with the new sciences of emergence. (shrink)

In PI 189, Wittgenstein's interlocutor asks, ‘But are the steps then not determined by the algebraic formula?’. Wittgenstein responds, ‘The question contains a mistake’. What is the mistake contained in the interlocutor's question? Wittgenstein's elaboration is neither explicit nor its intended upshot transparent. In this paper, I offer a reading on which the interlocutor's question arises from illicitly crossing different pictures of ‘determination’. I begin by working through Wittgenstein's machine analogy in PI 193, which illustrates picture‐crossing in our ways of (...) talking about a machine. Using the lessons from this analogy, I show how the interlocutor's ‘mistake’ can be diagnosed in similar terms: their confusion about the power of a rule to determine its applications rests on mistakenly crossing a behavioural and a mathematical sense of ‘determine’—thereby concocting a mystifying picture of rule‐following. (shrink)

Many philosophers maintain that the ability to do otherwise is compatible with comprehensive divine foreknowledge but incompatible with the truth of causal determinism. But the Fixity of the Past principle underlying the rejection of compatibilism about the ability to do otherwise and determinism appears to generate an argument also for the incompatibility of the ability to do otherwise and divine foreknowledge. By developing an account of ability that appeals to the notion of explanatory dependence, we can replace the Fixity of (...) the Past with a principle that does not generate this difficulty. I develop such an account and defend it from objections. I also explore some of the account's implications, including whether the account is consistent with presentism. (shrink)

This paper sets out an account of trust in AI as a relationship between clinicians, AI applications, and AI practitioners in which AI is given discretionary authority over medical questions by clinicians. Compared to other accounts in recent literature, this account more adequately explains the normative commitments created by practitioners when inviting clinicians’ trust in AI. To avoid committing to an account of trust in AI applications themselves, I sketch a reductive view on which discretionary authority is exercised by AI (...) practitioners through the vehicle of an AI application. I conclude with four critical questions based on the discretionary account to determine if trust in particular AI applications is sound, and a brief discussion of the possibility that the main roles of the physician could be replaced by AI. (shrink)

Many have offered accounts of the procreative asymmetry, the claim that one has no moral reason to create a life just because it would be happy, but one has moral reason not to create a life just because it would be miserable. I suggest a new approach. Instead of looking at the procreative asymmetry on its own, we can situate it within a broader landscape of asymmetries. Specifically, there are two other analogous asymmetries in the prudential and epistemic domains. The (...) prudential asymmetry says that one has no prudential reason to acquire a desire just because it would be satisfied, but one has prudential reason not to acquire a desire just because it would be frustrated. The epistemic asymmetry says that one has no epistemic reason to acquire a belief just because it is true, but one has epistemic reason not to acquire a belief just because it is false. The existence of these analogous asymmetries in these normative domains suggests the possibility of a unified account of all three asymmetries as instances of a more fundamental asymmetry of value-based reasons. This paper develops a working model of what such a unified account might look like. Such an account can give us a unified explanation of a variety of phenomena, reinforce the plausibility of each of these asymmetries, and give us a novel picture of how value gives us reasons that might extend beyond these three applications. (shrink)

The critiques of The Birth of Ethics (henceforth BE) that my co-symposiasts have provided are of the very highest quality and I have benefitted enormously from thinking about them and considering h...

Modern health data practices come with many practical uncertainties. In this paper, I argue that data subjects’ trust in the institutions and organizations that control their data, and their ability to know their own moral obligations in relation to their data, are undermined by significant uncertainties regarding the what, how, and who of mass data collection and analysis. I conclude by considering how proposals for managing situations of high uncertainty might be applied to this problem. These emphasize increasing organizational flexibility, (...) knowledge, and capacity, and reducing hazard. (shrink)

With respect to the metaphysics of infinity, the tendency of standard debates is to either endorse or to deny the reality of ‘the infinite’. But how should we understand the notion of ‘reality’ employed in stating these options? Wittgenstein’s critical strategy shows that the notion is grounded in a confusion: talk of infinity naturally takes hold of one’s imagination due to the sway of verbal pictures and analogies suggested by our words. This is the source of various philosophical pictures that (...) in turn give rise to the standard metaphysical debates: that the mathematics of infinity corresponds to a special realm of infinite objects, that the infinite is profoundly huge or vast, or that the ability to think about infinity reveals mysterious powers in human beings. First, I explain Wittgenstein’s general strategy for undermining philosophical pictures of ‘the infinite’ – as he describes it in Zettel; and then show how that critical strategy is applied to Cantor’s diagonalization proof in Remarks on the Foundations of Mathematics II. (shrink)

The physical sciences, as generally understood, are disciplines concerned with the characteristics and behavior of physical objects and states. What is evident about the current condition of consciousness is that: 1) It has no identified physical states; 2) There is no generally accepted vocabulary of its functioning, or its participant entities; and 3) No ‘normal science’ operative structure upon which a community of scientists agree. The reasons are that consciousness is a prescientific concept persisting because there is no adequate physicalist (...) theory to replace it, and because biology operates in a way ‘invisible’ to assumed mental processes and vocabulary. What is required is a plausible theory built on a biophysical base. A theory is being developed: it is termed the _theory of brain-sign_. Brain-sign replaces consciousness as an evolved neural operation in which brains communicate with each other in the collective action of organisms, so addressing the limitations of being an isolated individual. It depends upon neural signification, in this case of the organisms’ immediate _causal orientation_ towards the world. Thus, multiple organisms are linked as one biophysical operation. Signs are biologically ubiquitous and inherently physical. Organisms are not subjective agents with transcendent powers acting in a perceivable world, but evolved organic objects with the ability to cooperate as one overarching biological process. It is anticipated this theoretical operation and vocabulary will explain brain function, which mind fails to do. It accounts for science from both its neural origins and its communal nature. ER -. (shrink)

In her book Michel de Montaigne: Accidental Philosopher, Ann Hartle argues that Montaigne’s thought is dialectical in the Hegelian sense. Unlike Hegel’s progressive dialectic, however, Montaigne’s thought is, according to Hartle, circular in that the reconciliation of opposed terms comes not in the form of a newly emergent term, but in a return to the first term, where the meaning of the first is transformed as a result of its dialectical interaction with the second. This analysis motivates Hartle’s claim that (...) Montaigne is not a skeptic at all, let alone a Pyrrhonian skeptic. In this paper, I argue that Hartle’s circular-dialectical interpretation of Montaigne is not only compatible with Pyrrhonism, but is in fact an ideal model for understanding Sextus Empiricus’s skeptical therapy. (shrink)

I explore several issues raised in John Martin Fischer’s Our Fate: Essays on God and Free Will. First I discuss whether an approach to the problem of freedom and foreknowledge that appeals directly to the claim that God’s beliefs depend on the future is importantly different from Ockhamism. I suggest that this dependence approach has advantages over Ockhamism. I also argue that this approach gives us good reason to reject the claim that the past is fixed. Finally, I discuss Fischer’s (...) proposal regarding God’s knowledge of future contingents. I suggest that it may be able to secure comprehensive foreknowledge. (shrink)

A retelling of Plato's famous cave allegory. Inspired by Dōgen, Nietzsche, and Wittgenstein.

Russellianism is the view that the meaning of a proper name is the individual designated by the name. Together with other plausible assumptions, Russellianism entails the following: Sentences containing proper names express Russellian propositions, which involve the individual designated by the name as a direct constituent, and which can be represented as sets of individuals and properties. Moreover, as they occur in ordinary belief reports, ‘that’-clauses designate Russellian propositions. Such belief reports are true if and only if the subject of (...) the belief report bears the belief relation to the proposition designated by the ‘that’-clause. In defending this doctrine, some Russellians appeal to propositional guises, which, roughly speaking, are ways of grasping propositions. However, some Russellians don’t appeal to such entities. In this paper, I explain the varieties of Russellianism and then argue for Modest Russellianism: Believing a Russellian proposition is essentially mediated by guises, so that an agent can’t believe a Russellian proposition without standing in some appropriate relation to both the proposition and a guise. Nonetheless, guises don’t feature in the semantics of ordinary belief reports, so that an adequate account of the meaning of such belief reports needn’t invoke guises. (shrink)

We introduce the topic of panpsychism, before briefly outlining the 19 essays on panpsychism containing in this special issue.

Explaining the behaviour of ecosystems is one of the key challenges for the biological sciences. Since 2000, new-mechanicism has been the main model to account for the nature of scientific explanation in biology. The universality of the new-mechanist view in biology has been however put into question due to the existence of explanations that account for some biological phenomena in terms of their mathematical properties (mathematical explanations). Supporters of mathematical explanation have argued that the explanation of the behaviour of ecosystems (...) is usually provided in terms of their mathematical properties, and not in mechanistic terms. They have intensively studied the explanation of the properties of ecosystems that behave following the rules of a non-random network. However, no attention has been devoted to the study of the nature of the explanation in those that form a random network. In this paper, we cover that gap by analysing the explanation of the stability behaviour of the microbiome recently elaborated by Coyte and colleagues, to determine whether it fits with the model of explanation suggested by the new-mechanist or by the defenders of mathematical explanation. Our analysis of this case study supports three theses: (1) that the explanation is not given solely in terms of mechanisms, as the new-mechanists understand the concept; (2) that the mathematical properties that describe the system play an essential explanatory role, but they do not exhaust the explanation; (3) that a non-previously identified appeal to the type of interactions that the entities in the network can exhibit, as well as their abundance, is also necessary for Coyte and colleagues’ account to be fully explanatory. From the combination of these three theses we argue for the necessity of an integrative pluralist view of the nature of behaviour explanation when this is given by appealing to the existence of a random network. (shrink)

ABSTRACT Many of our common-sense moral judgments seemingly imply the existence of moral luck. I attempt to avoid moral luck while retaining most of these judgments. I defend a view on which agents have moral equality of opportunity. This allows us to account for our anti-moral-luck intuitions at less cost than has been previously recognized.

Group agency requires a number of people to combine in pursuit of shared goals across varied scenarios. Thus, a group or corporate agent must be organized (1) to act flexibly as its goals require, (2) with the intentional, if not always voluntary, acquiescence of members in the guidance of (3) an authorized spokesperson or (4) a constructed voice, thereby (5) becoming capable of making and honoring commitments.

The paper offers five desiderata on a realist normative theory of politics: that it should avoid moralism, deontologism, transcendentalism, utopianism, and vanguardism. These desiderata argue for a theory that begins from values rooted in a people’s experience; that avoids prescribing a collective deontological constraint; that makes the comparison of imperfect regimes possible; that takes feasibility and sustainability into account; and that makes room for the claims of democracy. The paper argues, in the course of exploring the desiderata, that a neo-republican (...) philosophy of government does pretty well in satisfying them. (shrink)

Introductory Chapter to the _Cambridge Handbook of Situated Cognition_ (CUP, 2009).

The orthodox view in contemporary epistemology is that Edmund Gettier refuted the JTB analysis of knowledge, according to which knowledge is justified true belief. In a recent paper Moti Mizrahi questions the orthodox view. According to Mizrahi, the cases that Gettier advanced against the JTB analysis are misleading. In this paper I defend the orthodox view.

Effective Altruism is a social movement which encourages people to do as much good as they can when helping others, given limited money, time, effort, and other resources. This paper first identifies a minimal philosophical view that underpins this movement, and then argues that there is an analogous minimal philosophical view which might underpin Effective Justice, a possible social movement that would encourage promoting justice most effectively, given limited resources. The latter minimal view reflects an insight about justice, and our (...) non-diminishing moral reason to promote more of it, that surprisingly has gone largely unnoticed and undiscussed. The Effective Altruism movement has led many to reconsider how best to help others, but relatively little attention has been paid to the differences in degrees of cost-effectiveness of activities designed to decrease injustice. This paper therefore not only furthers philosophical understanding of justice, but has potentially major practical implications. (shrink)

This paper develops a philosophical account of moral disruption. According to Robert Baker (2013), moral disruption is a process in which technological innovations undermine established moral norms without clearly leading to a new set of norms. Here I analyze this process in terms of moral uncertainty, formulating a philosophical account with two variants. On the Harm Account, such uncertainty is always harmful because it blocks our knowledge of our own and others’ moral obligations. On the Qualified Harm Account, there is (...) no harm in cases where moral uncertainty is related to innovation that is “for the best” in historical perspective, or where uncertainty is the expression of a deliberative virtue. The two accounts are compared by applying them to Baker’s historical case of the introduction of mechanical ventilation and organ transplantation technologies, as well as the present-day case of mass data practices in the health domain. (shrink)

There are a number of assumptions made in our accepted psychology of moral decision-making that consequentialism seems to violate:: value connectionism, pluralism and dispositionalism. But consequentialism violates them only on a utilitarian or similar theory of value, not on the rival sort of theory that is sketched here.

Cognitivists about intention hold that intending to do something entails believing you will do it. Non-cognitivists hold that intentions are conative states with no cognitive component. I argue that both of these claims are true. Intending entails the presence of a belief, even though the intention is not even partly the belief. The result is a form of what Sarah Paul calls Non-Inferential Weak Cognitivism, a view that, as she notes, has no prominent defenders.

It used to be thought that rational coherence and metaphysical possibility went hand in hand. Kripke and Putnam put a spanner in the works by proposing examples of propositions which seem to violate this principle. I will propose a nuanced form of modal rationalism consistent with the Kripke/putnam cases. The rough idea is that rational coherence entails possibility when you grasp the essential nature of what you’re conceiving of.

Wars and crises worldwide force millions of people to flee and seek refuge, often outside their countries of origin. What moral responsibilities do states have towards refugees? In this Ethical Annotation, Dr Jos Philips and his co-authors zoom in on the responsibilities of EU countries. They consider arguments in favour of and against admitting refugees and argue that EU countries must do at least at much as they can do at little cost, and perhaps even more.

This paper has two goals: (1) to defend a particular response to the problem of resultant moral luck and (2) to defend the claim that we are only responsible for what we could have avoided. Cases of overdetermination threaten to undermine the claim that we are only responsible for what we could have avoided. To deal with this issue, I will motivate a particular way of responding to the problem of resultant moral luck. I defend the view that one's degree (...) of responsibility is immune to moral luck but the scope of events for which one is responsible is subject to moral luck. I will then argue that this view allows us to explain away certain intuitions about responsibility and overdetermination (as well as similar intuitions regarding Frankfurt Cases). As a result, the claim that we are only responsible for what we could have avoided becomes significantly more plausible. (shrink)

A resolution to the Russell Paradox is presented that is similar to Russell's “theory of types” method but is instead based on the definition of why a thing exists as described in previous work by this author. In that work, it was proposed that a thing exists if it is a grouping tying "stuff" together into a new unit whole. In tying stuff together, this grouping defines what is contained within the new existent entity. A corollary is that a thing, (...) such as a set, does not exist until after the stuff is tied together, or said another way, until what is contained within is completely defined. A second corollary is that after a grouping defining what is contained within is present and the thing exists, if one then alters what is tied together (e.g., alters what is contained within), the first existent entity is destroyed and a different existent entity is created. A third corollary is that a thing exists only where and when its grouping exists. Based on this, the Russell Paradox's set R of all sets that aren't members of themselves does not even exist until after the list of the elements it contains (e.g. the list of all sets that aren't members of themselves) is defined. Once this list of elements is completely defined, R then springs into existence. Therefore, because it doesn't exist until after its list of elements is defined, R obviously can't be in this list of elements and, thus, cannot be a member of itself; so, the paradox is resolved. This same type of reasoning is then applied to Godel's first Incompleteness Theorem. Briefly, while writing a Godel Sentence, one makes reference to a future, not yet completed and not yet existent sentence, G, that claims its unprovability. However, only once the sentence is finished does it become a new unit whole and existent entity called sentence G. If one then goes back in and replaces the reference to the future sentence with the future sentence itself, a totally different sentence, G1, is created. This new sentence G1 does not assert its unprovability. An objection might be that all the possibly infinite number of possible G-type sentences or their corresponding Godel numbers already exist somehow, so one doesn't have to worry about references to future sentences and springing into existence. But, if so, where do they exist? If they exist in a Platonic realm, where is this realm? If they exist pre-formed in the mind, this would seem to require a possibly infinite-sized brain to hold all these sentences. This is not the case. What does exist in the mind is the system for creating G-type sentences and their corresponding numbers. This mental system for making a G-type sentence is not the same as the G-type sentence itself just as an assembly line is not the same as a finished car. In conclusion, a new resolution of the Russell Paradox and some issues with proofs of Godel's First Incompleteness Theorem are described. (shrink)

Anthology introduction Introduction to the anthology, Empowering Our Military Conscience.